((v7 v8 8) (v2 v5 0) (v3 v8 8) (v4 v2 5) (v5 v1 4) (v5 v3 9) (v6 v4 7) (v6 v1 7) (v4 v5 4) (v3 v6 1) (v6 v2 1) (v6 v7 2) (v2 v1 4) (v8 v2 5) (v3 v2 3) (v7 v5 1) (v5 v8 3) (v7 v4 3) (v4 v8 3))
78
((v6 v7) (v5 v3) (v1 v8) (v2 v5))